The constructive maximal point space and partial metrizability
نویسندگان
چکیده
منابع مشابه
Partial Computations in Constructive
Constructive type theory as conceived by Per Martin-LL of has a very rich type system, but partial functions cannot be typed. This also makes it impossible to directly write recursive programs. In this paper a constructive type theory Red is deened which includes a partial type constructor A; objects in the type A may diverge, but if they converge, they must be members of A. A xed point typing ...
متن کاملCommon Fixed Point Theorems for Weakly Compatible Mappings by (CLR) Property on Partial Metric Space
The purpose of this paper is to obtain the common fixed point results for two pair of weakly compatible mapping by using common (CLR) property in partial metric space. Also we extend the very recent results which are presented in [17, Muhammad Sarwar, Mian Bahadur Zada and Inci M. Erhan, Common Fixed Point Theorems of Integral type on Metric Spaces and application to system of functional equat...
متن کاملMulti-point Constructive Search
Multi-Point Constructive Search maintains a small set of “elite solutions” that are used to heuristically guide constructive search through periodically restarting search from an elite solution. Empirical results indicate that for job shop scheduling optimization problems and quasi-group completion problems, multi-point constructive search performs significantly better than chronological backtr...
متن کاملA characterization of partial metrizability: domains are quantifiable
A characterization of partial metrizability is given which provides a partial solution to an open problem stated by Künzi in the survey paper Nonsymmetric Topology ([Kün93], problem 71). The characterization yields a powerful tool which establishes a correspondence between partial metrics and special types of valuations, referred to as Q-valuations (cf. also [Sch00]). The notion of a Q-valuatio...
متن کاملOn the maximal ideal space of extended polynomial and rational uniform algebras
Let K and X be compact plane sets such that K X. Let P(K)be the uniform closure of polynomials on K. Let R(K) be the closure of rationalfunctions K with poles o K. Dene P(X;K) and R(X;K) to be the uniformalgebras of functions in C(X) whose restriction to K belongs to P(K) and R(K),respectively. Let CZ(X;K) be the Banach algebra of functions f in C(X) suchthat fjK = 0. In this paper, we show th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2006
ISSN: 0168-0072
DOI: 10.1016/j.apal.2005.05.032